<?xml version='1.0'?>

<gl_extension name="GL_EXT_shared_texture_palette" reg_no="141">
	<tokens>
		<token name="GL_SHARED_TEXTURE_PALETTE_EXT" value="0x81FB"/>
	</tokens>
</gl_extension>
